body {
  background-color: #E1D1F1;
  font-family: "Georgia", sans-serif;
  font-size: 16px;
  line-height: 1.6em;
  padding: 1.6em 0 0 0;
  color: #333;
}
h1, h2, h3, h4, h5, h6 {
  color: #444;
}
h1 {
  font-family: sans-serif;
  font-weight: normal;
  font-size: 4em;
  line-height: 0.8em;
  letter-spacing: -0.1ex;
	margin: 5px;
}

#main {
  width: 70em;
  padding: 0;
  margin: 0 auto;
}

#explanation {
    width: 53em;
    float:right;
}

#menu {
    width: 15em;
    float:left;
    background-color: darkseagreen;
}

.domaincode {
    font-weight:bold;
}

.section {
    font-family: sans-serif;
    font-weight: normal;
    font-size: 2em;
    line-height: 0.8em;
}

.code, .field, .interface, .class, .method, .param {
    font-family: monospace;
    font-size: 90%;
    line-height: 1.4em;
    color: #ff8;
    background-color: #111;
    padding: 2px 10px 2px 10px;
}